package real.evaluation.formula;

public enum LogicalQuantifier {
	FORALL, EXISTS
}
